Feeds to Scour
SubscribedAll
Scoured 7684 posts in 176.1 ms
Making a Language
thunderseethe.dev·3h
🏭Code Generation
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
λFunctional Programming
Preview
Report Post
Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·2d
🎯Hindley-Milner
Preview
Report Post
Randomization in Typst
idraluna-archives.bearblog.dev·6h
🎮Bevy
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·14h·
Discuss: Hacker News
🎯Hindley-Milner
Preview
Report Post
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com·3d
🏭Code Generation
Preview
Report Post
From Literal Prompts to Autonomous Agents
dev.to·5h·
Discuss: DEV
🔗CoT Prompting
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·20h·
Discuss: Hacker News
🔍Reverse Engineering
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·10h·
Discuss: Hacker News
⚙️LLVM
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·8h·
Discuss: Hacker News
🧩Constraint Programming
Preview
Report Post
Functional Logic Program Transformations
arxiv.org·21h
λFunctional Programming
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·20h·
Discuss: r/rust
🔄Async Traits
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
⚙️DataFusion
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🧩Low-code
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·9h·
Discuss: Hacker News
💬Language Servers
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·11h·
Discuss: Hacker News
λFunctional Programming
Preview
Report Post
Writing your first compiler
popovicu.com·3d·
Discuss: Hacker News, r/golang
🏭Code Generation
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·8h·
Discuss: Hacker News
🔍Query Compilers
Preview
Report Post
Constraints Not Loops: Building Features in Reverse
coey.dev·1d
📝Parser Combinators
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help